From Use Cases to System Operation Specifications
نویسندگان
چکیده
The purpose of this paper is to first showcase the concept of an operation schema—a precise form of system-level operation specification—and secondly show how operation schemas enhance development when they are used as a supplement to use case descriptions. An operation schema declaratively describes the effects of a system operation by preand postconditions using the Object Constraint Language (OCL), as defined by the Unified Modeling Language (UML). In particular, the paper highlights techniques to map use cases to operation schemas and discusses the advantages of doing so in terms of clarifying the granularity and purpose of use cases and providing a precise specification of system behavior.
منابع مشابه
Design Criteria, Applicability and Specifications of Visual Aids to Navigation Signs Used in Ports and Waterways (Case Study of Siraf Pars Service Port and Lavan Oil Terminal)
Due to the range of hazards threatening the navigation of vessels such as collisions with other passing vessels, collisions with structures such as breakwaters, and collisions with the bottom of vessels with the seabed, the design and use of fixed and floating signs should be considered. These signs, in addition to daytime operation, should also be equipped with portable lights to navigate duri...
متن کاملOptimal Operation of a Three-Product Dividing-Wall Column with Self-Optimizing Control Structure Design
This paper deals with optimal operation of a three-product Dividing-Wall Column (DWC). The main idea is to design a control structure, through a systematic procedure for plantwide control, with an objective to achieve desired product purities with the minimum use of energy. Exact local method is used to find the best controlled variables as single measurement or combination of measurements ...
متن کاملModeling Class Operations in B: Application to UML Behavioral Diagrams
An appropriate approach for translating UML to B formal specifications allows one to use UML and B jointly in an unified, practical and rigorous software development. We formally analyze UML specifications via their corresponding B formal specifications. This point is significant because B support tools like AtelierB are available. We can also use UML specifications as a tool for building B spe...
متن کاملSemantics of OCL Operation Specifications
The semantics of OCL operation specifications is discussed from a model theoretic perspective. It is argued that the semantics of operation specifications as defined in the OCL 2.0 proposal is not compatible with the view of operation specifications as contracts between a client and a supplier. As a solution, a semantics of OCL operation specifications based on standard model theory is presente...
متن کاملDirect Methods for Frequency Filter Performance Analysis
Analysis methods based on determining system performance specifications by step response, as well as indirect methods: pole-zero plot, magnitude response and integral analysis methods are applied in automatic control theory for performance estimation of linear systems [1,2,3]. However, in many cases the mentioned methods result in crude performance estimation of a linear system (filter) operati...
متن کامل